LOGICAL ANALYSIS OF SYMBOLIC CONCEPTION REPRESENTATION IN TERMINOLOGICAL SYSTEMS
نویسندگان
چکیده
Cognitive, or knowledge, agents, who are in some way aware of describing their own view the world (based on mental concepts), need to become concerned with expressions conceptions. My main supposition is that agents’ conceptions mainly expressed form linguistic spoken, written, and represented based e.g. letters, numbers, symbols. This research especially focuses symbolic (that manifested symbols). I attempt logically (and using CLSYM) analyse terminological systems. CLSYM an assertional fragment my developed Conception Language (CL), which utilised as a formal-logical system for representing explicating world.
منابع مشابه
An Empirical Analysis of Terminological Representation Systems Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six such systems. Surprisingly, the systems turned...
متن کاملAn Empirical Analysis of Terminological Representation Systems
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of this system more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six such systems. Surprisingly, the systems t...
متن کاملDecidable Reasoning in Terminological Knowledge Representation Systems
Termino log ica l Knowledge Representation Systems (TKRSs ) are tools for designing and using knowledge bases tha t make use of te rminological languages (or concept languages). The T K R S we consider in this paper is of pract i cal interest since it goes beyond the capabi l it ies of presently avai lable T K R S s . F i rs t , our T K R S is equipped w i th a h ighly expressive concept, langu...
متن کاملLogical Support for Terminological Modeling
Terminological modeling, in particular in medical domains, is difficult and has enjoyed growing attention over the recent past. In practice, logical reasoning can play a fundamental role to support the modeling process. Nevertheless, the development of the logical tools is usually driven by computational or theoretical criteria rather than by the direct needs of a modeler. In this paper we atte...
متن کاملHigh-Power Logical Representation via Rulelog, for Neural-Symbolic
Combining neural networks (NN) methods with symbolic methods is an area that is exciting in terms both of basic research and practical application. We discuss here the opportunities and challenges involved in combining NN (“neural”) with logical knowledge representation and reasoning (KRR) that has high expressive power and fundamental scalability (“high-power” KRR). We describe how Rulelog KRR...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ??????-??????????? ??????
سال: 2022
ISSN: ['2071-9183', '2223-3954']
DOI: https://doi.org/10.52119/lphs.2022.85.92.001